-
1 рекурсивно перечислимый
-
2 рекурсивно перечислимый
Русско-английский военно-политический словарь > рекурсивно перечислимый
-
3 рекурсивно перечислимый
Русско-английский словарь по информационным технологиям > рекурсивно перечислимый
-
4 рекурсивно перечислимый
Русско-английский технический словарь > рекурсивно перечислимый
-
5 рекурсивно перечислимый
Mathematics: recursively enumerableУниверсальный русско-английский словарь > рекурсивно перечислимый
-
6 рекурсивно перечислимый
-
7 рекурсивно-перечислимый
-
8 рекурсивно перечислимый
Русско-английский математический словарь > рекурсивно перечислимый
-
9 рекурсивно-перечислимый
Русско-английский математический словарь > рекурсивно-перечислимый
-
10 рекурсивно перечислимый
Русско-английский научно-технический словарь Масловского > рекурсивно перечислимый
-
11 рекурсивно-перечислимый
-
12 рекурсивно-перечислимый
Русско-английский военно-политический словарь > рекурсивно-перечислимый
-
13 рекурсивно-перечислимый
Русско-английский словарь по информационным технологиям > рекурсивно-перечислимый
-
14 рекурсивно перечислимый, счётно перечислимый
Mathematics: recursively enumerableУниверсальный русско-английский словарь > рекурсивно перечислимый, счётно перечислимый
-
15 рекурсивно перечислимый индекс
Mathematics: recursively enumerable indexУниверсальный русско-английский словарь > рекурсивно перечислимый индекс
-
16 рекурсивно перечислимый класс
Mathematics: recursively enumerable classУниверсальный русско-английский словарь > рекурсивно перечислимый класс
-
17 рекурсивно перечислимый подкласс
Mathematics: recursively enumerable subclassУниверсальный русско-английский словарь > рекурсивно перечислимый подкласс
-
18 рекурсивно перечислимый предикат
Mathematics: recursively enumerable predicateУниверсальный русско-английский словарь > рекурсивно перечислимый предикат
-
19 рекурсивно перечислимый цилиндр
Mathematics: recursively enumerable cylinderУниверсальный русско-английский словарь > рекурсивно перечислимый цилиндр
-
20 рекурсивно перечислимый индекс
Русско-английский научно-технический словарь Масловского > рекурсивно перечислимый индекс
- 1
- 2
См. также в других словарях:
рекурсивно-перечислимый — рекурсивно перечислимый … Орфографический словарь-справочник
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
НУМЕРОВАННАЯ МОДЕЛЬ — пара , где модель нек рой фиксированной сигнатуры и нумерация основного множества модели Наиболее развитым направлением в изучении Н. м. является конструктивных моделей теория. Другим направлением в теории Н. м. является исследование проблемы… … Математическая энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Рекурсивный язык — В математической логике и информатике рекурсивный язык тип формального языка, также называемый разрешимым или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP.… … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки